#include<stdio.h>
int main()
{
	int a,b,s;
	scanf("%d %d",&a,&b);
	s=a*10+b;
	printf("%d",s/19);
	return 0; 
 } 
